geometric progression in discrete mathematics